The file name _.agda is
invalid because it does not correspond to a valid module name.
